搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

	Statistics for High-Dimensional Data [electronic resource] : Methods, Theory and Applications 0 索取号：作者：B眉hlmann、 Peter.、van de Geer、 Sara.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Engineering Methods in the Service-Oriented Context [electronic resource] : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings 0 索取号：作者：Ralyt茅、 Jolita.、Mirbel、 Isabelle.、Deneck猫re、 R茅becca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011) 0 索取号：作者：Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		International Symposium on Distributed Computing and Artificial Intelligence [electronic resource] 0 索取号：作者：Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers 0 索取号：作者：Qi、 Luo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Numerical Methods for Two-phase Incompressible Flows [electronic resource] 0 索取号：作者：Gross、 Sven.、Reusken、 Arnold.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	BAIL 2010 - Boundary and Interior Layers, Computational and Asymptotic Methods [electronic resource] 0 索取号：作者：Clavero、 Carmelo.、Gracia、 Jos茅 Luis.、Lisbona、 Francisco J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 0 索取号：作者：Hatzilygeroudis、 Ioannis.、Prentzas、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers 0 索取号：作者：Cooper、 Keith.、Mellor-Crummey、 John.、Sarkar、 Vivek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers 0 索取号：作者：Bravetti、 Mario.、Bultan、 Tevfik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Combinatorial Aspects of Commutative Algebra and Algebraic Geometry [electronic resource] : The Abel Symposium 2009 0 索取号：作者：Fl酶ystad、 Gunnar.、Johnsen、 Trygve.、Knutsen、 Andreas Leopold.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings 0 索取号：作者：Koch、 Andreas.、Krishnamurthy、 Ram.、McAllister、 John.、Woods、 Roger.、El-Ghazawi、 Tarek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Robotics Research [electronic resource] : The 14th International Symposium ISRR 0 索取号：作者：Pradalier、 C茅dric.、Siegwart、 Roland.、Hirzinger、 Gerhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns 0 索取号：作者：Noble、 James.、Johnson、 Ralph.、Avgeriou、 Paris.、Harrison、 Neil B.、Zdun、 Uwe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Statistics for High-Dimensional Data [electronic resource] : Methods, Theory and Applications 0 索取号：作者：B眉hlmann、 Peter.、van de Geer、 Sara.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Engineering Methods in the Service-Oriented Context [electronic resource] : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings 0 索取号：作者：Ralyt茅、 Jolita.、Mirbel、 Isabelle.、Deneck猫re、 R茅becca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011) 0 索取号：作者：Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		International Symposium on Distributed Computing and Artificial Intelligence [electronic resource] 0 索取号：作者：Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers 0 索取号：作者：Qi、 Luo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Numerical Methods for Two-phase Incompressible Flows [electronic resource] 0 索取号：作者：Gross、 Sven.、Reusken、 Arnold.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	BAIL 2010 - Boundary and Interior Layers, Computational and Asymptotic Methods [electronic resource] 0 索取号：作者：Clavero、 Carmelo.、Gracia、 Jos茅 Luis.、Lisbona、 Francisco J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 0 索取号：作者：Hatzilygeroudis、 Ioannis.、Prentzas、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers 0 索取号：作者：Cooper、 Keith.、Mellor-Crummey、 John.、Sarkar、 Vivek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers 0 索取号：作者：Bravetti、 Mario.、Bultan、 Tevfik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Combinatorial Aspects of Commutative Algebra and Algebraic Geometry [electronic resource] : The Abel Symposium 2009 0 索取号：作者：Fl酶ystad、 Gunnar.、Johnsen、 Trygve.、Knutsen、 Andreas Leopold.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings 0 索取号：作者：Koch、 Andreas.、Krishnamurthy、 Ram.、McAllister、 John.、Woods、 Roger.、El-Ghazawi、 Tarek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Robotics Research [electronic resource] : The 14th International Symposium ISRR 0 索取号：作者：Pradalier、 C茅dric.、Siegwart、 Roland.、Hirzinger、 Gerhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns 0 索取号：作者：Noble、 James.、Johnson、 Ralph.、Avgeriou、 Paris.、Harrison、 Neil B.、Zdun、 Uwe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.